try {var dummy = User} catch(e){

function User(id, displayName){
	this.id = id; // Unique number permanently assigned to this user by remote auth service
	this.displayName = displayName; // Name people will see for this user in user lists and other places.
	this.connectTime = new Date();
	this.roles = {}; // Application-level roles
	this.properties = {}; // Additional user information.
}

}